Symbolic Time Separation of Events
نویسندگان
چکیده
We extend the TSE [14] timing analysis algorithm into the symbolic domain, that is, we allow symbolic variables to be used to specify unknown parameters of the model (essentially, unknown delays) and verification algorithms which are capable of identifying not just failure or success, but also the constraints on these symbolic variables which will ensure successful verification. The two main contributions are 1) an iterative algorithm which continuously narrows down the domain of interest and 2) a practical method for reducing the representation of symbolic expressions containing minimizations and maximizations defined for a given domain. We report experimental results for several asynchronous circuits to demonstrate that symbolic analysis is feasible and that the output provided is what a designer (or perhaps a synthesis tool) would often want to know.
منابع مشابه
Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events
[26] A V. D. Ploeg, " Preconditioning techniques for large sparse, non-symmetric matrices with arbitrary sparsity patterns, " In Acknowledgments We would like to thank the reviewers for their valuable suggestions for improving this paper. We would also like to thank V. Vakilotojar at the University of Southern Califor-nia for many insightful discussions and comments related to this work. Algebr...
متن کاملPsychoanalytic Reading of the Play This is not a Pipe, written by Seyyed Mohammad Mosavat based on the Views of Jacques Lacan
The uncertainty of the events, behaviors and relationships of characters are important features of the play This is not a Pipe, written by Seyyed Mohammad Mosavat. This study is an analytical-descriptive research, using Jacques Lacan theories in psychoanalytic criticism and it is conducted with the aim of examining the relationships of family members, their conversations and actions. According ...
متن کاملDating divergence of Polystigma and other Sordariomycetes
Studies on the evolutionary history of ascomycetes in terms of time scale will help to understand historical patterns that shape their biodiversity. Until now most of dating studies of ascomycetes have focused on major events in fungal evolution but not on divergence events within smaller groups of fungi e.g. within Sordariomycetes. We used molecular dating to estimate the time of separation of...
متن کاملA New Approach to Detect Congestive Heart Failure Using Symbolic Dynamics Analysis of Electrocardiogram Signal
The aim of this study is to show that the measures derived from Electrocardiogram (ECG) signals many a time perform better than the same measures obtained from heart rate (HR) signals. A comparison was made to investigate how far the nonlinear symbolic dynamics approach helps to characterize the nonlinear properties of ECG signals and HR signals, and thereby discriminate between normal and cong...
متن کاملSymbolic Execution with Separation Logic
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method uses a form of symbolic execution, a decidable proof theory for symbolic heaps, and extraction of frame axioms from incomplete proofs. This is a precursor to the use of the logic in automatic specification checking, ...
متن کامل